Definition 3.1.6 (Stable equivalence)
Define a relation on as follows. If are projections in , then if and only if for some projection . The relation is called stable equivalence.